(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const i3 Int)
(declare-const i4 Int)
(declare-const v7 Bool)
(declare-const i5 Int)
(declare-const i6 Int)
(declare-const v8 Bool)
(declare-const v10 Bool)
(assert (or (> 56 i3) v2 v1 v5 v3 v1 v8))
(assert (or (< 56 (- i4)) v5 (< i3 56)))
(assert (or (=> v1 (=> v2 v7)) v0 v5))
(assert v10)
(assert (= i5 i6))
(assert v8)
(assert (or v7 v1 v3))
(assert (or (< 56 (- i4)) v2 v5))
(assert v6)
(assert (or v3 (< 56 (- i4)) v1))
(assert (or v0 v0 (and v2 v5 v2)))
(check-sat)
